<?hh

trait T1 {
  require extends A;
}
